Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams

This paper highlights the importance of software maintenance, specifically the UML (Unified Modeling Language) diagrams, created and changed, especially during the tasks of analysis and design of software. The main idea of this paper is to formalize the software maintenance phase in order to motivate the maintenance documentation of these diagrams taking into account a knowledge base which represents the consistency among UML diagrams. The consistency among the diagrams is done through a semantic network, and also formalized by the OCL (Object Constraint Language). Finally, the domain knowledge is represented by production rules which form the knowledge base. This knowledge base is the center of the knowledge-based system whose goal is guiding the developer in the maintenance of UML diagrams by recording and making the consistency of these diagrams. Thus the system has two contributions: storage of the maintenance of UML diagrams and diagnosis of consistencies among the diagrams participating in the maintenance phase.